First-order predicate logic
[計] 一階謂詞邏輯
?? 詞語組成解析
first
[f?st]
n. 第一，最初;頭等;一號，;[樂]高音部;
adv. 最早，最初;首次;寧愿;優先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['?:d?]
n. 命令;秩序;規則，制度;次序;
vt. 命令;訂購;整理;
vi. 下訂單;
predicate
['predikit]
vt. 斷言，斷定;宣布，宣講;使基于;
vi. 斷言，斷定;
n. 謂語;述語;
adj. 謂語的;述語的;
logic
['l?d?ik]
n. 邏輯，邏輯學;（做某事的）道理;推理方法;威力，壓力，強制（力）;
adj. 邏輯的;
??? 情景例句
Are you carrying any items that need to be declared?
你沒有攜帶需要申報的東西嗎？
I see your point, but I still can't agree with you.
我明白你的意思，但我還是不能同意。
Li Lei went into the school and found Miss Zhao in the school library.
李壘走進學校，在學校圖書館里找到趙小姐。